hyperarithmetical hierarchy造句
例句与造句
- The hyperarithmetical hierarchy is defined from these iterated Turing jumps.
- It is closely related to the hyperarithmetical hierarchy.
- The relativized hyperarithmetical hierarchy is used to define "'hyperarithmetical reducibility " '.
- Each level of the hyperarithmetical hierarchy corresponds to a countable ordinal number ( ordinal ), but not all countable ordinals correspond to a level of the hierarchy.
- In computability theory, Putnam investigated the structure of the ramified analytical hierarchy, its connection with the hyperarithmetical hierarchy of arithmetical degrees can be naturally extended up to \ beta _ 0.
- It's difficult to find hyperarithmetical hierarchy in a sentence. 用hyperarithmetical hierarchy造句挺难的
- One example of a hyperarithmetical, nonarithmetical set is the set " T " of G鰀el numbers of formulas of Turing equivalent to the set 0 ^ { ( \ omega ) }, and so is not high in the hyperarithmetical hierarchy, although it is not arithmetically definable by Tarski's indefinability theorem.